package ro.upt.ac.cstaicu.instrumentation;

import ro.upt.ac.cstaicu.analyze.IContext;

public class Predicate implements IContext {

	public final int lineNo;
	public final String className;
	public final String methodName;
	public final int id;
	public final String externalId;
	
	public Predicate(int id, String className, String methodName, int lineNo, String externalId) {
		this.id = id;
		this.lineNo = lineNo;
		this.className = className;
		this.methodName = methodName;
		this.externalId = externalId;
	}

	public int getId() {
		return id;
	}
	
	@Override
	public String toString() {
		return externalId + " " + lineNo + " " + className + " " + methodName;
	}
	
}
